invariant definition

不变定义